			<ul id="menu">
				<li><a <?php if(basename($_SERVER['PHP_SELF']) == 'index.php') print 'class="current"' ?> href="index.php">Home</a></li>
				<li><a <?php if(basename($_SERVER['PHP_SELF']) == 'classes.php') print 'class="current"' ?> href="/teachers/classes.php">Classi</a></li>
				<li><a <?php if(basename($_SERVER['PHP_SELF']) == 'classbook.php') print 'class="current"' ?> href="/teachers/classbook.php">Registro di classe</a></li>
				<li><a <?php if(basename($_SERVER['PHP_SELF']) == 'gradebook.php') print 'class="current"' ?> href="/teachers/gradebook.php">Registro personale</a></li>
				<li><a <?php if(basename($_SERVER['PHP_SELF']) == 'docs.php') print 'class="current"' ?> href="docs.php">Documenti</a></li>
				<li><a <?php if(basename($_SERVER['PHP_SELF']) == 'profile.php') print 'class="current"' ?> href="profile.php">Profilo</a></li>
				<li><a <?php if(basename($_SERVER['PHP_SELF']) == 'info.php') print 'class="current"' ?> href="info.php">Server PHP Info</a></li>
				<li><a <?php if(basename($_SERVER['PHP_SELF']) == 'about.php') print 'class="current"' ?> href="about.php">About Us</a></li>
				<!-- <li class="last"><a href="#">Contact Us</a></li> -->
			</ul>